$\forall$$a$, $b$:Knd. $a$ = $b$ $\Leftrightarrow$ $a$ $=$ $b$